Kolmogorov complexities Kmax, Kmin on computable partially ordered sets
نویسندگان
چکیده
We introduce a machine free mathematical framework to get a natural formalization of some general notions of infinite computation in the context of Kolmogorov complexity. Namely, the classes MaxX→D PR and MaxX→D Rec of functions X→ D which are pointwise maximum of partial or total computable sequences of functions where D = (D,<) is some computable partially ordered set. The enumeration theorem and the invariance theorem always hold for MaxX→D PR , leading to a variant KD max of Kolmogorov complexity. We characterize the orders D such that the enumeration theorem (resp. the invariance theorem) also holds for MaxX→D Rec . It turns out that Max X→D Rec may satisfy the invariance theorem but not the enumeration theorem. Also, when MaxX→D Rec satisfies the invariance theorem then the Kolmogorov complexities associated to MaxX→D Rec and Max X→D PR are equal (up to a constant). Letting KD min = K Drev max , where Drev is the reverse order, we prove that
منابع مشابه
Multiscale Resolution of Shortwave-Longwave Interaction
In the study of time-dependent waves, it is computationally expensive to solve a problem in which high frequencies (shortwaves, with wavenumber k = kmax) and low frequencies (longwaves, near k = kmin) mix. Consider a problem in which low frequencies scatter off a sharp impurity. The impurity generates high frequencies which propagate and spread throughout the computational domain, while the dom...
متن کاملDegree and connectivity of the Internet's scale-free topology
This paper theoretically and empirically studies the degree and connectivity of the Internet’s scale-free topology at an autonomous system (AS) level. The basic features of scale-free networks influence the normalization constant of degree distribution p(k). It develops a new mathematic model for describing the power-law relationships of Internet topology. From this model we theoretically obtai...
متن کاملTripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملInterval fractional integrodifferential equations without singular kernel by fixed point in partially ordered sets
This work is devoted to the study of global solution for initial value problem of interval fractional integrodifferential equations involving Caputo-Fabrizio fractional derivative without singular kernel admitting only the existence of a lower solution or an upper solution. Our method is based on fixed point in partially ordered sets. In this study, we guaranty the existence of special kind of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 352 شماره
صفحات -
تاریخ انتشار 2006